Quotient rule definition